Karlsruhe Institute of Technology - PDFSEARCH.IO - Document Search Engine

Karlsruhe Institute of Technology
Results: 590

#	Item
41	P4R: Privacy-Preserving Pre-Payments with Refunds for Transportation Systems Andy Rupp1, Gesine Hinterwälder2, Foteini3 Baldimtsi, Christof Paar2,4 Karlsruhe Institute of Technology Add to Reading List Source URL: fc13.ifca.ai Language: English - Date: 2013-04-05 03:46:00
42	Multi-unit Auctions with Non-binding Award and Reallocation – Theoretical and Experimental Analysis Matej Belicaa , Karl-Martin Ehrharta , Marie-Christin Haufea a Karlsruhe Institute of Technology (KIT), Germany Add to Reading List Source URL: games.econ.kit.edu Language: English - Date: 2015-08-18 07:25:26
43	The Incredible Proof Machine Invited Talk Paper Joachim Breitner Karlsruhe Institute of Technology Karlsruhe, Germany Add to Reading List Source URL: www.joachim-breitner.de - Date: 2016-07-01 09:50:13
44	Visual theorem proving with the Incredible Proof Machine Joachim Breitner Karlsruhe Institute of Technology, Add to Reading List Source URL: www.joachim-breitner.de - Date: 2016-05-20 10:43:05
45	Specifying and Executing Application Behaviour with Condition-Request Rules∗ Andreas Harth Tobias K¨afer Institute AIFB Karlsruhe Institute of Technology (KIT) Add to Reading List Source URL: harth.org - Date: 2017-09-13 04:54:05
46	Entity-centric Data Fusion on the Web Andreas Thalhammer Steffen Thoma Institute AIFB, Karlsruhe Institute of Technology Add to Reading List Source URL: www.aifb.kit.edu - Date: 2017-06-12 05:31:09
47	Towards Monitoring of Novel Statements in the News Michael F¨ arber, Achim Rettinger, and Andreas Harth Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany {michael.faerber,rettinger,harth}@kit.edu Add to Reading List Source URL: www.aifb.kit.edu - Date: 2016-12-01 09:46:25
48	Stephan Bergmann¹, Mahsa Mohammadikaji¹, Stephan Irgenfried¹, Heinz Wörn¹, Jürgen Beyerer¹,², Carsten Dachsbacher¹ ¹Karlsruhe Institute of Technology ²Fraunhofer Institute of Optronics, System Technologies and Add to Reading List Source URL: cg.ivd.kit.edu - Date: 2016-10-13 05:17:41
49	Practical Epistemic Entailment Checking in SROIQ Anees Mehdi and Sebastian Rudolph Institute AIFB, Karlsruhe Institute of Technology, DE {anees.mehdi,sebastian.rudolph}@kit.edu Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:21:13
50	The Tunnel Vision Syndrome: Massively Delaying Progress Reiner Hartenstein, Professor, IEEE fellow, SDPS fellow, FPL fellow, TU Kaiserslautern, Karlsruhe Institute of Technology (KIT), UnB Introduction. Despite of accele Add to Reading List Source URL: hartenstein.de - Date: 2013-05-12 04:18:30

UPDATE